AOTO, Takahito: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On the Finite Model Property of Intuitionistic Modal Logics over MIPC

Takahito Aoto, Hiroyuki Shirasu

Journal:

Mathematical Logic Quarterly

Year:

1999

Language:

english

File:

PDF, 816 KB

english, 1999

2

Program Transformation by Templates: A Rewriting Framework

Chiba, Yuki, Aoto, Takahito, Toyama, Yoshihito

Journal:

IPSJ Digital Courier

Year:

2006

Language:

english

File:

PDF, 299 KB

english, 2006

3

[IEEE 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR) - Honolulu, HI (2017.7.21-2017.7.26)] 2017 IEEE Conference on Computer Vision and Pattern Recognition (CVPR) - One-Shot Hyperspectral Imaging Using Faced Reflectors

Takatani, Tsuyoshi, Aoto, Takahito, Mukaigawa, Yasuhiro

Year:

2017

Language:

english

File:

PDF, 1.01 MB

english, 2017

4

Uniqueness of Normal Proofs in Implicational Intuitionistic Logic

Journal:

Journal of Logic, Language and Information

Year:

1999

Language:

english

File:

PDF, 121 KB

english, 1999

5

Preface

Aoto, Takahito, Middeldorp, Aart

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 131 KB

english, 2012

6

[IEEE 2013 2nd IAPR Asian Conference on Pattern Recognition (ACPR) - Naha, Japan (2013.11.5-2013.11.8)] 2013 2nd IAPR Asian Conference on Pattern Recognition - Linear Estimation of 4-D Illumination Light Field from Diffuse Reflections

Aoto, Takahito, Sato, Tomokazu, Mukaigawa, Yasuhiro, Yokoya, Naokazu

Year:

2013

Language:

english

File:

PDF, 1.14 MB

english, 2013

7

[ACM Press the 7th ACM SIGPLAN international conference - Lisbon, Portugal (2005.07.11-2005.07.13)] Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 - Program transformation by templates based on term rewriting

Chiba, Yuki, Aoto, Takahito, Toyama, Yoshihito

Year:

2005

Language:

english

File:

PDF, 180 KB

english, 2005

8

[ACM Press the 16th International Symposium - Canterbury, United Kingdom (2014.09.08-2014.09.10)] Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 - Decision Procedures for Proving Inductive Theorems without Induction

Aoto, Takahito, Stratulat, Sorin

Year:

2014

Language:

english

File:

PDF, 392 KB

english, 2014

9

Uniqueness of Normal Proofs in Implicational Intuitionistic Logic

Journal:

Journal of Logic, Language and Information

Year:

1999

Language:

english

File:

PDF, 1.90 MB

english, 1999

10

Automatic Construction of Program Transformation Templates

Chiba, Yuki, Aoto, Takahito, Toyama, Yoshihito

Journal:

IPSJ Digital Courier

Year:

2008

Language:

english

File:

PDF, 326 KB

english, 2008

11

Soundness of Rewriting Induction Based on an Abstract Principle

Journal:

IPSJ Digital Courier

Year:

2008

Language:

english

File:

PDF, 267 KB

english, 2008

12

Program Transformation Templates for Tupling Based on Term Rewriting

CHIBA, Yuki, AOTO, Takahito, TOYAMA, Yoshihito

Journal:

IEICE Transactions on Information and Systems

Year:

2010

Language:

english

File:

PDF, 265 KB

english, 2010

13

4-D light field reconstruction by irradiance decomposition

Takahito Aoto,Tomokazu Sato…

Journal:

IPSJ Transactions on Computer Vision and Applications

Year:

2017

Language:

english

File:

PDF, 3.81 MB

english, 2017

14

[ACM Press SIGGRAPH Asia 2018 Technical Briefs - Tokyo, Japan (2018.12.04-2018.12.07)] SIGGRAPH Asia 2018 Technical Briefs on - SA '18 - Reconstruction of volumetric reflectance using spatio-sequential frequency correlation imaging

Takatani, Tsuyoshi, Aoto, Takahito, Tanaka, Kenichiro, Funatomi, Takuya, Mukaigawa, Yasuhiro

Year:

2018

Language:

english

File:

PDF, 988 KB

english, 2018

15

[ACM Press SIGGRAPH Asia 2018 Technical Briefs - Tokyo, Japan (2018.12.04-2018.12.07)] SIGGRAPH Asia 2018 Technical Briefs on - SA '18 - Reconstruction of volumetric reflectance using spatio-sequential frequency correlation imaging

Takatani, Tsuyoshi, Aoto, Takahito, Tanaka, Kenichiro, Funatomi, Takuya, Mukaigawa, Yasuhiro

Year:

2018

File:

PDF, 988 KB

2018

16

Non-rigid registration of serial section images by blending transforms for 3D reconstruction

Kajihara, Takehiro, Funatomi, Takuya, Makishima, Haruyuki, Aoto, Takahito, Kubo, Hiroyuki, Yamada, Shigehito, Mukaigawa, Yasuhiro

Journal:

Pattern Recognition

Year:

2019

Language:

english

File:

PDF, 11.69 MB

english, 2019

17

[ACM Press ACM SIGGRAPH 2019 Emerging Technologies - Los Angeles, California (2019.07.28-2019.07.28)] ACM SIGGRAPH 2019 Emerging Technologies on - SIGGRAPH '19 - A design for optical cloaking display

Aoto, Takahito, Itoh, Yuta, Otao, Kazuki, Takazawa, Kazuki, Ochiai, Yoichi

Year:

2019

Language:

english

File:

PDF, 1.88 MB

english, 2019

18

Optical tomography based on shortest-path model for diffuse surface object

Iwaguchi, Takafumi, Funatomi, Takuya, Aoto, Takahito, Kubo, Hiroyuki, Mukaigawa, Yasuhiro

Journal:

IPSJ Transactions on Computer Vision and Applications

Year:

2018

Language:

english

File:

PDF, 2.67 MB

english, 2018

19

[ACM Press SIGGRAPH Asia 2019 Posters - Brisbane, QLD, Australia (2019.11.17-2019.11.20)] SIGGRAPH Asia 2019 Posters on - SA '19 - Fundus imaging using DCRA toward large eyebox

Atarashi, Yui, Otao, Kazuki, Aoto, Takahito, Ochiai, Yoichi

Year:

2019

Language:

english

File:

PDF, 3.84 MB

english, 2019

20

[ACM Press SIGGRAPH Asia 2019 Posters - Brisbane, QLD, Australia (2019.11.17-2019.11.20)] SIGGRAPH Asia 2019 Posters on - SA '19 - Fundus imaging using DCRA toward large eyebox

Atarashi, Yui, Otao, Kazuki, Aoto, Takahito, Ochiai, Yoichi

Year:

2019

File:

PDF, 3.84 MB

2019

21

[IEEE 2017 4th IAPR Asian Conference on Pattern Recognition (ACPR) - Nanjing, China (2017.11.26-2017.11.29)] 2017 4th IAPR Asian Conference on Pattern Recognition (ACPR) - Feature-Based Non-rigid Registration of Serial Section Images by Blending Rigid Transformations

Kajihara, Takehiro, Funatomi, Takuya, Kubo, Hiroyuki, Aoto, Takahito, Makishima, Haruyuki, Yamada, Shigehito, Mukaigawa, Yasuhiro

Year:

2017

File:

PDF, 4.42 MB

2017

22

Phase disambiguation using spatio-temporally modulated illumination in depth sensing

Kushida, Takahiro, Tanaka, Kenichiro, Aoto, Takahito, Funatomi, Takuya, Mukaigawa, Yasuhiro

Journal:

IPSJ Transactions on Computer Vision and Applications

Year:

2020

File:

PDF, 2.68 MB

2020